theory of machines gate lectures